 <?php


    // function redirects to $location
    function redirect_to($location = NULL) {
        
        if ($location != NULL) {
            header("Location: {$location}");
            exit;
        }
    }

    // Returns a message
    function output_message($message="") {
        
        if (!empty($message)) {
            return "<p class=\"message\">{$message}</p>";
        } else {
            return "";
        }
    }


   
?>